Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Lee masConstitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...
Lee masIn this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
Lee masYou’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
Lee masPart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
Lee masThis comprehensive examination of the main approaches to object-oriented language explains the key features of the languages ...
Lee masObject-Oriented Programming and Java presents two important topics in contemporary software development: object-oriented ...
Lee masThis paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
Lee masThe aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
Lee masThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lee masConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lee masThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Lee masThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas